$\forall$$a$, $b$, $c$:$\mathbb{Q}$. 0 $<$ $c$ $\Rightarrow$ ($a$ $<$ $b$ $\Leftarrow\!\Rightarrow$ $c$ $\ast$ $a$ $<$ $c$ $\ast$ $b$)